Modularity for Automated Assessment: A Design-Space Exploration

Maximum Maintainability of Complex Systems via Modulation Based on DSM and Module Layout.Case Study:Laser Range Finder

The present paper aims to investigate the effects of modularity and the layout of subsystems and parts of a complex system on its maintainability. For this purpose, four objective functions have been considered simultaneously: I) maximizing the level of accordance between system design and optimum modularity design,II) maximizing the level of accessibility and the maintenance space required,III...

A Power Aware Cache and Register File Design Space Exploration

Automated Model Merge by Design Space Exploration

Industrial applications of model-driven engineering to develop large and complex systems resulted in an increasing demand for collaboration features. However, use cases such as model differencing and merging have turned out to be a difficult challenge, due to (i) the graphlike nature of models, and (ii) the complexity of certain operations (e.g. hierarchy refactoring) that are common today. In ...

A hardware implementation of the UniSim pipeline model

Design space exploration is a component of the product optimization process that confronts the architect with the task of evaluating a large number of design choices. In order to achieve this goal software tools are used to automatically determine the benefits and drawbacks of each proposed implementation. In the field of processor architecture one such tool is UNISIM. The UNISIM environment pr...

Semi-Automated Design Space Exploration for Formal Modelling

Refinement based formal methods allow the modelling of systems through incremental steps via abstraction. Discovering the right levels of abstraction, formulating correct and meaningful invariants, and analysing faulty models are some of the challenges faced when using this technique. Here, we propose Design Space Exploration, an approach that aims to assist a designer by automatically providin...